Moving Up and Down in the Generic Multiverse
نویسندگان
چکیده
We investigate the modal logic of the generic multiverse which is a bimodal logic with operators corresponding to the relations “is a forcing extension of” and “is a ground model of”. The fragment of the first relation is the modal logic of forcing and was studied by the authors in earlier work. The fragment of the second relation is the modal logic of grounds and will be studied here for the first time. In addition, we discuss which combinations of modal logics are possible for the two fragments.
منابع مشابه
Effect of Insulated Up and Down Lid Motion on the Heat Transfer of a Lid-Driven Cavity with an attached fin
This study investigates the effect of lid motion on the optimal characteristics a thin rectangular fin attached on the hot wall of a square lid-driven cavity with active vertical walls. The optimal fin position is studied for Richardson numbers of 0.1-10. The effect of mounting a rectangular fin with a thermal conductivity of 1 and 1000 on minimization and maximization of heat transfer through ...
متن کاملThe Modal Logic of Generic Multiverses
In this thesis, we investigate the modal logic of forcing and the modal logic of grounds of generic multiverses. Hamkins and Löwe showed that the ZFC-provable modal principles of forcing, as well as of grounds, are exactly the theorems of the modal logic S4.2 (see [16],[17]). We prove that the modal logic of forcing of any generic multiverse is also exactly S4.2 by showing that any model of ZFC...
متن کاملA Comparative Study of Introduction and Discussion sections of Sub-disciplines of Applied Linguistics Research Articles
Much has been written in the past few decades about the reasons why many research articles (RAs) do not find their ways into well-established academic journals. While some doubt viable comparison between "big" English-language journals (to use Swales' 2004 words) or international journals (IJs) and "small" ones published in other local languages, there is still a good many reasons to hope for t...
متن کاملThe state dependency effect of morphine on memory by behavioral and electrophysiological methods in freely moving rats
Endogenous opioid system agonists exert amnestic effects in different models of memory. It has been suggested that these amnestic effects may be linked indirectly to state-dependent learning. Accordingly pre-training administration of morphine can impair the retrieval of learned tasks in a state dependent manner, which is reversible by pre test morphine administration. In this study, state depe...
متن کاملThe state dependency effect of morphine on memory by behavioral and electrophysiological methods in freely moving rats
Endogenous opioid system agonists exert amnestic effects in different models of memory. It has been suggested that these amnestic effects may be linked indirectly to state-dependent learning. Accordingly pre-training administration of morphine can impair the retrieval of learned tasks in a state dependent manner, which is reversible by pre test morphine administration. In this study, state depe...
متن کامل